Philosophie Lexikon der ArgumenteHome
| |||
|
| |||
| Einsetzen: in einer Formel kann ein Symbol unter bestimmten Voraussetzungen für ein anderes Symbol eingesetzt werden. Bsp Wird eine Konstante für eine Variable eingesetzt, wird aus einer Aussagenfunktion eine Aussage. Siehe auch Ersetzen, Ersetzbarkeit, Substitution, Allgemeingültigkeit, Gültigkeit, Aussage, Aussagenfunktion, Feinkörnig/grobkörnig, Logische Formeln, Formeln._____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente. | |||
| Autor | Begriff | Zusammenfassung/Zitate | Quellen |
|---|---|---|---|
|
H. Wessel über Einsetzen – Lexikon der Argumente
I 202f Einsetzungsregel/Einsetzen/Quantorenlogik: 1. In A wird i nur an den Stellen ersetzt, wo es frei vorkommt 2. Falls sich i in A im Wirkungsbereich eines Quantors befindet, der die Variable h bindet, so darf für i kein Ausdruck eingesetzt werden, der h als freie Variable enthält. ((s) Bsp ("h)(P(h) ∧ i): hier dürfte i nicht "h ∧ y" bedeuten. "Alles was ich besitze sind Fahrräder und außerdem ein Fahrrad...".). Bsp Wessel: Alleinführung: aus A folgt AiA: A:"x ist später als 1900 geboren" > "x ist noch keine 100 Jahre alt. - Wenn i frei in den Annahmen des Beweises vorkäme dann falsch: "alle Menschen sind später als 1900 geboren". >Freie Variable, >Gebundene Variable, >Variablen, >Quantifikation, >Stufen/Ebenen, >Alleinführung, >Existenzeinführung, >Einführung, >Allquantifikation, >Existenzquantifikation._____________ Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders. Übersetzungen: Lexikon der ArgumenteDer Hinweis [Begriff/Autor], [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] bzw. "Problem:"/"Lösung", "alt:"/"neu:" und "These:" ist eine Hinzufügung des Lexikons der Argumente. |
Wessel I H. Wessel Logik Berlin 1999 |
||
> Gegenargumente gegen Wessel
> Gegenargumente zu Einsetzen ...
